$\lambda$ -presentable Morphisms, Injectivity and (Weak) Factorization Systems
نویسندگان
چکیده
منابع مشابه
ar X iv : m at h / 05 09 31 8 v 1 [ m at h . C T ] 1 4 Se p 20 05 λ - PRESENTABLE MORPHISMS , INJECTIVITY AND ( WEAK ) FACTORIZATION SYSTEMS
We show that every λm-injectivity class (i.e., the class of all the objects injective with respect to some class of λ-presentable morphisms) is a weakly reflective subcategory determined by a functorial weak factorization system cofibrantly generated by a class of λ-presentable morphisms. This was known for small-injectivity classes, and referred to as the “small object argument”. An analogous ...
متن کاملOn Injectivity in Locally Presentable Categories
Classes of objects injective w.r.t. specified morphisms are known to be closed under products and retracts. We prove the converse: a class of objects in a locally presentable category is an injectivity class iff it is closed under products and retracts. This result requires a certain large-cardinal principle. We characterize classes of objects injective w.r.t. a small collection of morphisms: t...
متن کاملFinitely Presentable Morphisms in Exact Sequences
Let K be a locally finitely presentable category. If K is abelian and the sequence 0 K // X // k // C c // // 0 // is short exact, we show that 1) K is finitely generated⇔ c is finitely presentable; 2) k is finitely presentable⇔ C is finitely presentable. The “⇐” directions fail for semi-abelian varieties. We show that all but (possibly) 2)(⇐) follow from analogous properties which hold in all ...
متن کاملWeak Reflections and Weak Factorization Systems
A (functorial) weak reflection in a category C is essentially a sharply pointed endofunctor (T, η) on C, i.e., one for which ηTA is a split mono for each A ∈C. Using a result in [AHRT], we obtain the following “weak” version of one of the main results of [CHK]: every weak reflection (T, η) (in a category with finite products) comes from a (functorial) weak factorization system (LT ,RT ) (throug...
متن کاملEssential Weak Factorization Systems
We discuss a new type of weak factorization system. Although these systems provide (up to isomorphism) uniquely determined decompositions of morphisms, in general they do not constitute orthogonal factorizations and are not even functorial. Nevertheless, they arise naturally, as injective hulls or projective covers in comma categories. Surprisingly, often injective hulls and projective covers c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Categorical Structures
سال: 2006
ISSN: 0927-2852,1572-9095
DOI: 10.1007/s10485-006-9024-9